and Logic

Results: 11835



#Item
131

Interpretable Apprenticeship Learning with Temporal Logic Specifications Daniel Kasenberg and Matthias Scheutz Abstract— Recent work has addressed using formulas in linear temporal logic (LTL) as specifications for age

Add to Reading List

Source URL: hrilab.tufts.edu

Language: English - Date: 2017-08-21 16:50:42
    132

    Knowledge and Effect: A Logic for Reasoning about Confidentiality and Integrity Guarantees (Extended Abstract) Scott Moore Harvard SEAS

    Add to Reading List

    Source URL: software.imdea.org

    Language: English - Date: 2015-07-09 06:40:16
      133

      Logic and the Methodology of Science February 2005 Preliminary Exam August 23, Let ϕ(v) be a formula in the laguage of Peano Arithmetic (PA). (a) Suppose that ϕ(v) is Σ1 , and PA ` ∃vϕ(v). Show that PA ` ϕ

      Add to Reading List

      Source URL: logic.berkeley.edu

      Language: English - Date: 2018-03-13 00:17:29
        134

        Sameness, Meaning, and Identity. by Gustav Bergmann; Individuals. by Gustav Bergmann; Concepts. by Gustav Bergmann; Herbert Hochberg Review by: John Perry The Journal of Symbolic Logic, Vol. 40, No. 1 (Mar., 1975), pp. 1

        Add to Reading List

        Source URL: www.john.jperry.net

        Language: English - Date: 2017-10-22 23:32:48
          135

          Independence and Decision-Contexts for Non-Interference Conditionals∗ Michael Franke Institute for Logic, Language and Computation Universiteit van Amsterdam

          Add to Reading List

          Source URL: www.home.uni-osnabrueck.de

          Language: English - Date: 2018-04-18 07:39:41
            136

            Links, Meaning, and Contexts: Making Sense & Using Logic Michael Buckland International UDC Consortium Seminar: Classification & Authority Control:

            Add to Reading List

            Source URL: people.ischool.berkeley.edu

            Language: English - Date: 2015-11-09 18:31:54
              137

              Dialogical Logic for Definitional Reasoning and Implications as Rules Thomas Piecha 1

              Add to Reading List

              Source URL: ls.informatik.uni-tuebingen.de

              Language: English - Date: 2015-04-08 04:44:11
                138

                Constructive Algebra in Functional Programming and Type Theory Master of Science Thesis in the Programme Computer Science – Algorithms, Languages and Logic 1234567895AB45C

                Add to Reading List

                Source URL: web.student.chalmers.se

                Language: English - Date: 2010-08-22 03:55:59
                  139

                  Conditionals: More Fun with “If-Then” and Logic Operators Goals •  Great  job  so  far!  There  are  a  lot  of  things  

                  Add to Reading List

                  Source URL: static.zerorobotics.mit.edu

                  Language: English - Date: 2014-06-10 07:05:14
                    140

                    Inverter For inverting PCB between machines or processes Features • Suitable for SMT, ICT Auto and Manual Insertion lines • Choice of LCD Touch Screen or Push-Button Panel • Programmable Logic Control

                    Add to Reading List

                    Source URL: abstechsystem.com

                    Language: English - Date: 2010-02-21 18:55:35
                      UPDATE